Answer Set Programming Torsten Schaub University of Potsdam FMCAD@Cambridge

Source URL: www.cs.uni-potsdam.de

Fundamenta Informaticae XX–24 IOS Press Synthesizing Concurrent Programs using Answer Set Programming Emanuele De Angelis

Source URL: www.iasi.cnr.it

Technical Communications of ICLPCopyright with the Authors. 1 Answer Set Application Programming: a Case Study on Tetris∗

Source URL: ceur-ws.org

Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report Yuliya Lierler Peter Schüller

Source URL: www.peterschueller.com

Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report Yuliya Lierler1 and Peter Sch¨uller2 Department of Computer Science, University of Kentucky Institut f¨ur Informat

Source URL: www.peterschueller.com

Answer Set Programming modulo Acyclicity ? Jori Bomanson1 , Martin Gebser1,2 , Tomi Janhunen1 , Benjamin Kaufmann2 , and Torsten Schaub2,3?? 1 2

Source URL: www.cs.uni-potsdam.de

Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

Source URL: dbai.tuwien.ac.at

Modeling Abduction over Acyclic First-Order Logic Horn Theories in Answer Set Programming: Preliminary Experiments⋆ Peter Schüller Computer Engineering Department, Faculty of Engineering Marmara University, Turkey

Source URL: ceur-ws.org

Stable Model Counting and Its Application in Probabilistic Logic Programming Rehan Abdul Aziz and Geoffrey Chu and Christian Muise and Peter Stuckey arXiv:1411.5410v1 [cs.AI] 20 NovNational ICT Australia, Victoria

Source URL: arxiv.org

• Logic programming
• Model theory
• Stable model semantics
• Answer set programming

Towards a Fully-Parallel DLV System Simona Perri, Francesco Ricca, and Marco Sirianni Department of Mathematics University of CalabriaRende, Italy perri,ricca,

Source URL: ceur-ws.org

• Logic programming
• DLV
• Answer set programming
• Stable model semantics
• Heuristic
• Parsing